|
|
|
Technological innovation for the internet of things : 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 Costa da Caparica, Portugal, April 15-17, 2013 / ed. Luis M. Camarinha-Matos, Slavisa Tomic, Paula GraçaPublication: Heidelberg : Springer, 2013Description: XVIII, 657 p. :
il. ;
24 cmAvailability: Items available for loan: [CAM. 681.5] (1). Items available for reference: [CAM. 681.5] (1).
|
|
|
|
Technological innovation for value creation : third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012 Costa da Caparica, Portugal, February 27-29, 2012 / Luis M. Camarinha-Matos, Ehsan Shahamatnia, Gonçalo NunesPublication: Heidelberg : Springer, 2012Description: XV, 592 p. :
il. ;
24 cmAvailability: Items available for loan: [CAM. 681.5] (1).
|
|
|
|
Petri Nets for systems engineering : a guide to modeling, verification and applications / Claude Girault, Rüdiger ValkPublication: Berlin : Springer, 2003Description: XVI, 607 p. :
il.Availability: Items available for loan: [GIR. 519.67] (1).
|
|
|
|
Stochastic Petri Nets : modelling, stability, simulation / Peter J. HaasPublication: New York : Springer, 2002Description: XXII, 509 p. :
il.Availability: Items available for loan: [HAA 519.67] (1).
|
|
|
|
Logic synthesis for asynchronous controllers and interfaces / J. Cortadella... [et al.]Publication: Berlin : Springer, 2002Description: XIII, 273 p. :
il.Availability: Items available for loan: [COR. 621.38Mic] (1).
|
|
|
|
Petri Net algebra / Eike Best, Raymond Devillers, Maciej KoutnyPublication: Berlin : Springer, 2001Description: XI,378 p. :
il.Availability:
|
|
|
|
The design of manufacturing systems / Cornelius LeondesPublication: Boca Raton : CRC Press, 2001Description: [pag. var.] :
il. ;
26 cmAvailability: Items available for loan: [LEO. 621] (1).
|
|
|
|
Knowledge-based systems : techniques and applications / Cornelius T. LeondesPublication: San Diego : Academic Press, 2000Description: [pág. var] :
il.Availability: Items available for loan: [LEO. 004.8] (4).
|
|
|
|
Performance modelling with deterministic and stochastic Petri nets / Christoph LindemannPublication: Chichester : John Wiley and Sons, 1998Description: XIII, 405 p. :
il.Availability: Items available for loan: [LIN. 519.67] (1).
|
|
|
|
Timed Petri Nets : theory and application / Jiacun WangPublication: Boston : Kluwer, 1998Description: XI, 281 p. :
il.Availability: Items available for loan: [WAN. 519.67] (1).
|
|
|
|
Coloured Petri Nets : basic concepts, analysis methods and practical use : volume 2 / Kurt JensenPublication: Berlin : Springer, 1997Description: X, 174 p. :
il.Availability:
|
|
|
|
Application and theory of Petri Nets 1997 / Pierre Azéma, Gianfranco BalboPublication: Berlin : Springer, 1997Description: VIII, 466 p. :
il.Availability:
|